From f50091147c4daba748736774cbcf9a483aeccdfc Mon Sep 17 00:00:00 2001
From: David Vrabel <david.vrabel@citrix.com>
Date: Thu, 6 Dec 2012 09:21:49 +0000
Subject: [PATCH] MAINTAINERS: Device tree is maintained by the ARM maintainers

Signed-off-by: David Vrabel <david.vrabel@citrix.com>
Committed-by: Keir Fraser <keir@xen.org>
---
 MAINTAINERS | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/MAINTAINERS b/MAINTAINERS
index 68f17a8823..88a4c50c79 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -113,7 +113,9 @@ S:	Supported
 F:	xen/common/cpupool.c
 
 DEVICE TREE
-M:	David Vrabel <david.vrabel@citrix.com>
+M:	Ian Campbell <ian.campbell@citrix.com>
+M:	Stefano Stabellini <stefano.stabellini@citrix.com>
+M:	Tim Deegan <tim@xen.org>
 S:	Supported
 F:	xen/common/libfdt/
 F:	xen/common/device_tree.c
-- 
2.30.2